null space dimension